#include<stdio.h>

int Strlen(const char *s);
